meta-level reasoning

元级推理(法)